Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
haskell
1
trusted services engine
1 ?
 21,213,375 websites (safe search)

  1. Galois: Home

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    galois.com - 2009-03-07

  2. Galois: cryptol

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    www.cryptol.net - 2009-02-14

java4 hall2 jewelry5 oklahoma3 .net3 earrings3 beads3 j2ee2 multi-level security1 c++3 tulsa2 beratung4 oklahoma city2 plm specialists1 fine jewelry2 mils1 secure collaboration1 process3 tirol2 product artifact protection1 city4 laura mckinney1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.